Abstract Consequence Relation